Robust Dynamic Selection of Tested Modules in Software Testing for Maximizing Delivered Reliability

نویسندگان

  • Ping Cao
  • Zhao Dong
  • Ke Liu
  • Kai-Yuan Cai
چکیده

Software testing is aimed to improve the delivered reliability of the users. Delivered reliability is the reliability of using the software after it is delivered to the users. Usually the software consists of many modules. Thus, the delivered reliability is dependent on the user’s operational profile which specifies how the users will use these modules as well as the defect number remaining in each module. Therefore, a good testing policy should take the users’ operational profile into account and dynamically select tested modules according to the current state of the software during the testing process. This paper discusses how to dynamically select tested modules in order to maximize delivered reliability by formulating the selection problem as a dynamic programming problem. As the testing process is performed only once, risk must be considered during the testing process, which is described by the tester’s utility function in this paper. Besides, since usually the tester has no accurate estimate of the users’ operational profile, by employing robust optimization technique, we analysis the selection problem in the worst case, given the operational profile’s uncertainty set. By numerical examples, we show the necessity of maximizing delivered reliability directly and using robust optimization technique when the tester has no clear idea of the operational profile. Moreover, it is shown that the risk averse behavior of the tester has a major influence on the delivered reliability.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Evaluation of Classifiers in Software Fault-Proneness Prediction

Reliability of software counts on its fault-prone modules. This means that the less software consists of fault-prone units the more we may trust it. Therefore, if we are able to predict the number of fault-prone modules of software, it will be possible to judge the software reliability. In predicting software fault-prone modules, one of the contributing features is software metric by which one ...

متن کامل

Estimation of Software Reliability by Sequential Testing with Simulated Annealing of Mean Field Approximation

Various problems of combinatorial optimization and permutation can be solved with neural network optimization. The problem of estimating the software reliability can be solved with the optimization of failed components to its minimum value. Various solutions of the problem of estimating the software reliability have been given. These solutions are exact and heuristic, but all the exact approach...

متن کامل

A mathematical modeling framework for software reliability testing

Software reliability testing refers to various software testing activities that are driven to achieve a quantitative reliability goal given a priori or lead to a quantitative reliability assessment for the software under test. In this paper we develop a modeling framework for the software reliability testing process, comprising a simplifying model and a generalized model. In both models the sof...

متن کامل

Hierarchical Delay Test Generation

Delay testing is used to detect timing errors in a digital circuit. In this paper, we report a tool called MODET for automatic test generation for path delay faults in modular combinational circuits. Our technique uses precomputed robust delay tests for individual modules to compute robust delay tests for the module-level circuit. We present a longest path theorem at the module level of abstrac...

متن کامل

Outperformance Testing of a Dynamic Assets Portfolio Selection Supplemented with a Continuous Paths Levy Process

This study aims at getting a better performance for optimal stock portfolios by modeling stocks prices dynamics through a continuous paths Levy process. To this end, the share prices are simulated using a multi-dimensional geometric Brownian motion model. Then, we use the results to form the optimal portfolio by maximizing the Sharpe ratio and comparing the findings with the outputs of the conv...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1309.3052  شماره 

صفحات  -

تاریخ انتشار 2013